141. Partial Differential Equations :
پدیدآورنده : by Richard Bellman, George Adomian.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Analysis.,Global analysis (Mathematics)
رده :
QA374
.
B975
1985
142. Philosophical explorations of the legacy of Alan Turing : Turing 100
پدیدآورنده : Juliet Floyd, Alisa Bokulich, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing, Alan Mathison, 2191-4591,، Mathematics -- Philosophy,، Computable functions,، Cryptography,، Enigma cipher system
رده :
QA
29
.
T8P46
143. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
144. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
145. Proof theory :
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory
رده :
QA9
.
54
.
L44
1990
146. Proofs and algorithms
پدیدآورنده : Gilles Dowek
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
147. Quantitative financial risk management :
پدیدآورنده : Constantin Zopounidis, Emilios Galariotis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Financial risk management.
رده :
HD61
148. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
149. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
150. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
151. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
152. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
153. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
154. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
155. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
156. Recursively enumeralble sets and degrees
پدیدآورنده : Soare, Robert Irving, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
157. Reflexive structures : an introduction to computability theory
پدیدآورنده : Sanchis, Luis E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
S26
1988
158. Representations of discrete functions
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design
رده :
TK
7874
.
75
.
R47
1996
159. Scalable uncertainty management :
پدیدآورنده : Weiru Liu, V.S. Subrahmanian, Jef Wijsen (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Uncertainty (Information theory), Congresses
رده :
Q375
.
S86
2013
160. Sequences and their applications :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA292
.
S478
1999
